Técnicas para el manejo de CSPs no binarios

Hoy en d́ıa muchos problemas de la vida real se pueden modelar como problemas de satisfacción de restricciones (CSPs) no binarias (o n−arias). Por ejemplo en áreas tales como inteligencia artificial, investigación operativa, bases de datos y sistemas expertos, la importancia de los CSPs no binarios se está incrementando paulatinamente. Sin embargo la mayoŕıa de los investigadores centran su atención en los CSPs binarios, tal vez por el hecho de que un CSP no binario se puede transformar en uno binario. En este art́ıculo se presentan las distintas técnicas para transformar los CSPs no binarios en binarios, para el caso de CSPs discretos, y en ternarios para el caso de CSPs continuos. Además se presenta una propuesta de manejo de CSPs no binarios y continuos. Utilizando esta última técnica resolveremos un problema de diagnosis basado en el análisis ROC. Este problema se modela como un CSP no binario sobre dominios continuos.